Study on university courses arrangement based on constraint satisfaction 基于约束满足的高校排课问题研究
Efficient sequential pattern mining algorithm based on average value constraint satisfaction pruning strategy 基于均值约束满足度剪枝策略的高效序列模式挖掘算法
The intelligent fixing test paper is a process of the problem of constraint satisfaction based on a typical relational database 摘要智能组卷是一个典型的基于关系数据库多约束满足的问题求解过程。
As with other engineering design , die design is , by its nature , a constraint satisfaction problem , how to tailor design space in accordance with constraints 冷冲模设计同其它工程设计一样,本质上是一个约束满足问题,其实质就是多个约束条件裁减设计空间。
For this reason , the thesis presents an approach based on constraint satisfaction , symbolic execution and extended finite state machines . it can analyze programs written in a subset of the c programming language 针对上述情况,本文中提出了一种方法,它基于约束满足问题求解方法和扩展有限状态机上的符号执行算法,能够对c语言子集描述的程序进行分析。
In artificial intelligence and operations research, constraint satisfaction is the process of finding a solution to a set of constraints that impose conditions that the variables must satisfy. A solution is therefore a vector of variables that satisfies all constraints.